Revision: tlacontrib--aba--1.2--patch-94
Archive: aaron.bentley@utoronto.ca--tla-2004
Creator: Aaron Bentley <aaron.bentley@utoronto.ca>
Date: Fri Mar 19 18:42:47 EST 2004
Standard-date: 2004-03-19 23:42:47 GMT
New-files: legacy/.arch-ids/=id px/.arch-ids/=id
    px/Tlaesc.pm px/px0 px/pxargs px/pxrun shrink-library
New-directories: legacy legacy/.arch-ids px px/.arch-ids
Renamed-files: gpgcheck legacy/gpgcheck
    prune-library legacy/prune-library
New-patches: aaron.bentley@utoronto.ca--tla-2004/tlacontrib--aba--1.2--patch-94
    bulb@ucw.cz--pub-1/tlacontrib--bulb--1.2--patch-29
    bulb@ucw.cz--pub-1/tlacontrib--bulb--1.2--patch-30
    bulb@ucw.cz--pub-1/tlacontrib--bulb--1.2--patch-31
    bulb@ucw.cz--pub-1/tlacontrib--bulb--1.2--patch-32
    jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-31
    jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-32
    jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-33
    jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-34
    jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-35
    jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-36
    jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-37
Summary: star-merge w/jblack
Keywords: 

Patches applied:

 * bulb@ucw.cz--pub-1/tlacontrib--bulb--1.2--patch-29
   shrink-library

 * bulb@ucw.cz--pub-1/tlacontrib--bulb--1.2--patch-30
   shrink-library copyleft

 * bulb@ucw.cz--pub-1/tlacontrib--bulb--1.2--patch-31
   px* tools

 * bulb@ucw.cz--pub-1/tlacontrib--bulb--1.2--patch-32
   Fixes in help for px*

 * jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-31
   Integration with tla-sh, other aba improvements (Bentley)

 * jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-32
   Making a place for old scripts

 * jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-33
   Added px commands (Hudec)

 * jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-34
   Moving px commands into their own directory

 * jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-35
   Adding in shrink-library (Hudec)

 * jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-36
   prune-library is retired with the newer shrink-library on the scene

 * jblack@inframix.com--2004/tlacontrib--devo--1.2--patch-37
   Tlaesc.pm belongs with the px tools

